Computer Science at Kent Architectural Description of Dependable Software Systems

Architectural Description of Dependable Software Systems

Software Architectures for Dependable Systems

The aim of this tutorial is to provide an insight on how the structuring of software systems at the architectural level is fundamental for the development of dependable systems. Taking as a basis the different dependability means, we show how dependability should be considered at the architectural level, and the impact this should have when developing dependable systems. Existing architectural ...

Describing Evolving Dependable Systems Using Co-Operative Software Architectures

This paper describes an architectural approach that facilitates the modelling and analysis of dependable systems that are built from untrustworthy components whose designs, we assume, cannot be changed. The approach is based on the definition of an architectural style in which connectors are considered as first class entities, which embody the description of collaborative behaviour between comp...

AA – A Software Architecture Aware Environment for Dependable Systems

Explicitly considering software architectural information at all times is now a recognized means for addressing software system dependability. In this paper we propose the basic ideas for AA, an architecture aware environment to improve software system dependability. It builds on ideas from architecting dependable systems, control engineering, and software product lines. AA supports fault toler...

Architectural Styles for Adaptable Self-Healing Dependable Systems

Of all the possible architectural approaches to improving the dependability of software-based systems, only systems designed to be self-healing are able to adapt themselves at runtime in response to changing environmental or operational circumstances. In this paper, we discuss the basic functional requirements for self-healing systems, and explore a number of major issues related to architectur...